Types and Hardware Description Languages

نویسنده

Tim Sheard

چکیده

Hardware description systems could benefit from advances in programming language design. Recent research, in the area of rich type systems suggests hardware description languages could use types to (1) structure, (2) guarantee correctness, and (3) track properties of hardware descriptions. In this paper, we use the language Ωmega to illustrate these points.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Hml: an Innovative Hardware Description Language and Its Translation to Vhdl

HML (Hardware ML) is an innovative hardware description language based on the functional programming language SML (Standard ML). HML is a high-order language that supports polymorphic functions. HML's advanced type system provides many constructs that are important to hardware descriptions but are lacking in the more mature, widely used hardware description languages such as VHDL and Verilog. I...

متن کامل

Implementation of an Embedded Hardware Description Language Using Haskell

This paper describes an ongoing implementation of an embedded hardware description language (HDL) using Haskell as a host language. Traditionally, “functional” HDL’s are made using lazy lists to model signals, so circuits are functions from lists of input values to lists of output values. We use another known approach for embedded languages, in which circuits are data structures rather than fun...

متن کامل

Formalisation of a Visual Environment for Real Time Image Processing in Hardware (VERTIPH)

We consider the suitability of three types of language for the implementation of image processing algorithms on FPGAs; Hardware Description Languages, Parallel Language Extensions, Serial Language Extensions. We discuss the requirements for a language for this purpose and identify the weaknesses of four specific languages, VHDL, SystemC, Handel-C, SA-C and Match. Finally, we propose VERTIPH, a ...

متن کامل

Structure and Behaviour in Hardware

In this paper we review how hardware has been described in the formal hardware veriication community. Recent developments in hardware description are evaluated against the background of the use of hardware description languages, and also in relation to programming languages. The notions of structure and behaviour are crucial to this discussion.

متن کامل